Самая большая электронная библиотека рунета. Поиск книг и журналов

Calendrical Calculations

Автор: , Автор:
Категория: M_Mathematics, MPop_Popular-level
Размер книги: 4.06 Mb

Calendrical Calculations

Автор: , Автор:
Размер книги: 4.24 Mb

Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007

Автор: , Автор:
Категория: CsLn_
Размер книги: 5.33 Mb

Pillars of Computer Science

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.76 Mb

Verification: Theory and Practice

Автор:
Размер книги: 7.14 Mb